Bugfixed in May 2020 by Massimo Raffaele and Enrico Maria Giordano.